[IA64] Prevent domains to itc/ptd in shared_info_va.
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Tue, 3 Oct 2006 03:30:51 +0000 (21:30 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Tue, 3 Oct 2006 03:30:51 +0000 (21:30 -0600)
commit3a57a3f13da6a44fed073c02f98e0d6df471fb1a
treebc4dae7a6bb7d1b2c2fc25fef471414771619b88
parent2313bf488f08376a727903de03b1090fd1ee81bf
[IA64] Prevent domains to itc/ptd in shared_info_va.

Signed-off-by: Tristan Gingold <tristan.gingold@bull.net>
xen/arch/ia64/xen/vcpu.c
xen/include/public/arch-ia64.h